Merge pull request #1406 from robertovargas-arm/uuid
authorDimitris Papastamos <[email protected]>
Fri, 22 Jun 2018 14:56:42 +0000 (15:56 +0100)
committerGitHub <[email protected]>
Fri, 22 Jun 2018 14:56:42 +0000 (15:56 +0100)
Make TF UUID RFC 4122 compliant


Trivial merge